$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$). ($e$ = ${\it e'}$) $\Rightarrow$ sqequal([$e$, ${\it e'}$]; cons(${\it e'}$; []))